Data type - PDFSEARCH.IO - Document Search Engine

Data type
Results: 6762

#	Item
131	02157 Functional Programming - Tagged values and Higher-order list functions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:16:49 Software engineering Computer programming Programming language theory Data types Subroutines Functional programming Type theory Procedural programming languages Higher-order function Option type ALGOL 68 Technical University of Denmark
132	How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut fur Informatik Universitat Tubingen Sand 13, DTubingen, Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computing Computer programming Subroutines Data types Type theory Object-oriented programming languages Functional languages Partial evaluation Scala Recursion Memoization
133	Apache Avro# 1.8.1 Specification Table of contents 1 Introduction........................................................................................................................3 Add to Reading List Source URL: avro.apache.org Language: English - Date: 2016-05-21 18:02:26 Computing Remote procedure call Apache Avro Inter-process communication Web services JSON Toi Enumerated type Alias Comparison of data serialization formats MessagePack
134	Package ‘MSnbase’ June 29, 2016 Title Base Functions and Classes for MS-based Proteomics VersionDescription Basic plotting, data manipulation and processing of MS-based Proteomics data. Add to Reading List Source URL: bioconductor.org Language: English - Date: 2016-06-29 15:15:31 Software engineering Computer programming Object-oriented programming Computing Method This Common Lisp Object System Objective-C Constructor Class Union type C++ classes
135	Combining Programming with Theorem Proving Chiyan Chen and Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-11-01 11:55:41 Software engineering Computer programming Computing Functional languages Type theory Data types Procedural programming languages ATS Object-oriented programming ML Polymorphism OCaml
136	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2015-07-22 04:38:38 Software engineering Data types Computing Object-oriented programming Type theory Const Object Identifier Subtyping Pointing stick
137	Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Declarative programming Computer programming Functional programming Data types Polymorphism Object-oriented programming Map Parametric polymorphism Constructible universe
138	Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-10 19:35:24 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Monad Option type Type class Map ALGOL 68 Functor
139	CH07 p375:02 PM Page 375 Chapter 7 Add to Reading List Source URL: www.buildingjavaprograms.com Language: English - Date: 2007-02-01 14:01:30 Software engineering Computer programming Computing Arrays Data types Array data type Array data structure C Jagged array For loop Foreach loop Array
140	SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK. Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:48 Mathematical logic Mathematics Logic Boolean algebra Predicate logic Relational operator Predicate Boolean data type Algebra of sets Subset Equality Logical disjunction

UPDATE